A commutative group GGG has two operations: ×:G×G→G\times: G \times G \rightarrow G×:G×G→G −1:G→G^{-1}: G \rightarrow G−1:G→G